identity relation is transitive